$M$.init($x$)?$v$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}cap(($M$.2.2).1;IdDeq;$x$;$v$)